void dbg_printf();
void dbg_printf1();
